let (_ : exn & Failure _ | _) = exn ()